ProMoSA - Probabilistic Models for Safety Analysis
نویسندگان
چکیده
Das Ziel des ProMoSA Vorhabens st die Entwicklung eines durchgehend modell-basierten Ansatzes zur Sicherheitsanalyse. Dabei sollen sowohl quantitative als auch qualitative Aspekte aus einem gemeinsamen Modell abgeleitet werden. Zusätzlich soll es möglich sein aus einer Menge von Modellen optimale Kandidaten automatisch zu bestimmen. Die Modellerstellung soll weitgehend durch semantisch-fundierte Modelltransformationen unterstützt werden.
منابع مشابه
Safety Analysis of the Patch Load Resistance of Plate Girders: Influence of Model Error and Variability
This study aims to undertake a statistical study to evaluate the accuracy of nine models that have been previously proposed for estimating the ultimate resistance of plate girders subjected to patch loading. For each model, mean errors and standard errors, as well as the probability of underestimating or overestimating patch load resistance, are estimated and the resultant values are compared o...
متن کاملارائه یک مدل احتمالاتی برای توزیع خوردگی یکنواخت در سکوهای ثابت فلزی در خلیج فارس
For structural reliability assessment or risk analysis of aging offshore steel structures, it is essential to have a probabilistic model, which contains specific statistical parameters, and predicts long term corrosion loss as a function of time. The aim of this study is to propose such model for offshore jacket platforms in the Persian Gulf. Field measurements for material loss due to uniform ...
متن کاملNumerical probabilistic analysis for slope stability in fractured rock masses using DFN-DEM approach
Due to existence of uncertainties in input geometrical properties of fractures, there is not any unique solution for assessing the stability of slopes in jointed rock masses. Therefore, the necessity of applying probabilistic analysis in these cases is inevitable. In this study a probabilistic analysis procedure together with relevant algorithms are developed using Discrete Fracture Network-Dis...
متن کاملProbabilistic Model-Based Safety Analysis
Model-based safety analysis approaches aim at finding critical failure combinations by analysis of models of the whole system (i.e. software, hardware, failure modes and environment). The advantage of these methods compared to traditional approaches is that the analysis of the whole system gives more precise results. Only few model-based approaches have been applied to answer quantitative quest...
متن کاملSystematic Model-Based Safety Assessment Via Probabilistic Model Checking
Safety assessment is a well-established process for assuring the safety and reliability of critical (aeronautical) systems. It uses probabilistic (quantitative) analysis to provide precise measures about the safety requirements of a system. Traditionally, quantitative safety assessment uses fault-tree analysis, but certification authorities also allow the use of Markov models. In this paper we ...
متن کامل